Topologically maximal pretopologies
نویسندگان
چکیده
منابع مشابه
Pretopologies and Completeness Proofs
Pretopologies were introduced in [S] and there shown to give a complete semantics for a propositional sequent calculus BL here called basic linear logic, as well as for its extensions by structural rules, ex falso quodlibet or double negation. Immediately after the Logic Colloquium ’88, conversation with Per Martin-Löf helped me to see how the pretopology semantics should be extended to predica...
متن کاملRecombination Spaces, Metrics, and Pretopologies
The topological features of genotype spaces given a genetic operator have a substantial impact on the course of evolution. We explore the structure of the recombination spaces arising from four different unequal crossover models in the context of pretopological spaces. We show that all four models are incompatible with metric distance measures due to a lack of symmetry.
متن کاملTopologically Characterized Movement Running head: TOPOLOGICALLY CHARACTERIZED MOVEMENT PATTERNS Topologically Characterized Movement Patterns: A Cognitive Assessment
In this paper, we discuss the role of topology as a predictor for the conceptualization of dynamically changing spatial configurations (referred to as movement patterns). We define meaningful units of movement patterns as paths through a topologically defined conceptual neighborhood graph. Topology plays a central role in formal approaches to human cognition and in predicting cognitive similari...
متن کاملMAXIMAL PRYM VARIETY AND MAXIMAL MORPHISM
We investigated maximal Prym varieties on finite fields by attaining their upper bounds on the number of rational points. This concept gave us a motivation for defining a generalized definition of maximal curves i.e. maximal morphisms. By MAGMA, we give some non-trivial examples of maximal morphisms that results in non-trivial examples of maximal Prym varieties.
متن کاملTopologically Trivial Legendrian Knots
This paper deals with topologically trivial Legendrian knots in tight and overtwisted contact 3-manifolds. The first parts (Sections 1-3) contain a thorough exposition of the proof of the classification of topologically trivial Legendrian knots (i.e. Legendrian knots bounding embedded 2-disks) in tight contact 3-manifolds (Theorem 1.7), and, in particular, in the standard contact S. These parts...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Mathematica
سال: 1984
ISSN: 0039-3223,1730-6337
DOI: 10.4064/sm-77-3-265-281